141. Fog and edge computing :
Author: edited by Rajkumar Buyya and Satish Narayana Srirama.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing.,Electronic data processing-- Distributed processing.,Cloud computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing-- Distributed processing.
Classification :
QA76
.
585
.
F63
2019
142. Food process modeling and control :
Author: Mustafa Özilgen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemical engineering-- Mathematical models.,Food-- Analysis-- Mathematical models.,Food industry and trade-- Quality control-- Mathematical models.,Aliments-- Analyse-- Modèles mathématiques.,Chemical engineering-- Mathematical models.,Commande de processus chimiques-- Modèles mathématiques.,Industrie agro-alimentaire-- Modèles mathématiques.,Lebensmittelverarbeitung,Mathematisches Modell,TRANSPORT.
Classification :
TX545
.
O95
1998
143. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
144. Formal modeling :
Author: Gul Agha, Olivier Danvy, José Meseguer. (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
Classification :
QA76
.
9
.
F67
F67
2011
145. Formal modeling and analysis of timed systems :
Author: Uli Fahrenberg, Stavros Tripakis (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
Classification :
QA76
.
9
.
C65
F67
2011
146. From Contamination to Defects, Faults and Yield Loss
Author: by Jitendra B. Khare, Wojciech Maly.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.
147. From Multiscale Modeling to Meso-Scienc
Author: / by Jinghai Li, Wei Ge, Wei Wang, Ning Yang, Xinhua Liu, Limin Wang, Xianfeng He, Xiaowei Wang, Junwu Wang, Mooson Kwauk
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering,Chemical engineering,Computer aided design,Physics,Hydraulic engineering,Electric engineering,Electronic books
Classification :
E-BOOK
148. From brains to systems
Author: / Carlos Hernaandez ... [et al.] editors
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Cognitive neuroscience, Congresses,Neural networks (Computer science), Congresses,Computational neuroscience, Congresses
Classification :
QP360
.
5
.
B735
2010
149. From brains to systems: brain-inspired cognitive systems 2010
Author: Carlos Hernandez...]et al.[ editors
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Cognitive neuroscience,Congresses ، Neural networks )Computer science(,Congresses ، Computational neuroscience
Classification :
QP
360
.
5
.
B735
150. Frontier computing :
Author: editors, Jason C. Hung, Neil Y. Yen, Kuan-Ching Li.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
Classification :
QA75
.
5
151. Frontier computing :
Author: Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
Classification :
QA75
.
5
152. Frontiers in Materials Modelling and Design
Author: edited by Vijay Kumar, Surajit Sengupta, Baldev Raj.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical physics.,Nanotechnology.,Physics.,Software engineering.,Surfaces (Physics).
153. Fundamentals and Standards in Hardware Description Languages
Author: edited by Jean P. Mermet.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer-aided design.,Engineering.
154. Fundamentals of Algebraic Specification 2 :
Author: by Hartmut Ehrig, Bernd Mahr.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
9
.
L63
B943
1990
155. Fundamentals of computer-aided circuit simulation
Author: / William J. McCalla
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Integrated circuits- Very large scale integration- Design and construction- Data processing,Computer-aided design
Classification :
TK7874
.
M355
1988
156. Fundamentals of computer-aided circuit simulation
Author: McCalla, William J.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Integrated circuits- Very large scale integration-Design and construction-Data processing,، Computer-aided design
Classification :
TK
7874
.
M355
157. Future Trends in Microelectronics :
Author: edited by Serge Luryi, Jimmy Xu, Alex Zaslavsky.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Engineering.,Systems engineering.
158. Gaming and cognition :
Author: [edited by] Richard Van Eck.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cognitive learning.,Computer games-- Psychological aspects.,Learning-- Social aspects.,Learning, Psychology of.,Video games-- Psychological aspects.,Cognitie.,Cognitieve processen.,Cognitieve psychologie.,Cognitive learning.,Computer games-- Psychological aspects.,Computerspellen.,GAMES-- Video & Electronic.,Learning-- Social aspects.,Learning, Psychology of.,Video games-- Psychological aspects.
Classification :
GV1469
.
3
.
G425
2010eb
159. Geometric optics
Author: / Antonio Romano
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geometrical optics, Mathematics,Astronomical instruments, Design and construction,Optical instruments, Design and construction,Mathematica (Computer program language)
Classification :
E-BOOK
160. Geometric optics
Author: / Antonio Romano
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Geometrical optics--Mathematics,Astronomical instruments--Design and construction,Optical instruments--Design and construction,Mathematica (Computer program language)
Classification :
QC383
.
R62
2010
